Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
181	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
182	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
183	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
184	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
185	Formal Methods in Manufacturing Add to Reading List Source URL: www.control.tu-berlin.de Language: English - Date: 2015-03-26 12:20:58 Algebraic structures Abstract algebra Ring theory Semiring Idempotence Idempotent Algebra over a field Monoid Semilattice Lattice Max-plus algebra Ring
186	The rise of automatic feature-generation techniques, including deep learning, has the potential to greatly enlarge the pool of machinelearning users. Such methods require large labeled training sets to obtain high-qualit Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Educational psychology Computational neuroscience Formal sciences Distance education Educational technology Information technology Deep learning Artificial intelligence
187	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
188	SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Formal methods Logic in computer science Model checking Theoretical computer science Formal verification Safety Liveness Device driver synthesis and verification
189	Multiparty Session Types for Runtime Verification Rumyana Neykova OOI: verification challenges  Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-14 05:07:33 Formal methods Logic in computer science Communications protocol Data transmission Cryptographic protocol Runtime verification ANTLR

UPDATE